package com.googlecode.kipler.satisfiability.reasoner.profile;

/**
 * 
 * @author İnanç Seylan
 *
 */
public enum Logic {
	ALC, SHQ, SHIQ, SHOIQ, LTLALC_EXPANDING;
}
